extern int xermax_(integer *max__);
/*:ref: j4save_ 4 3 4 4 12 */
